Key Generation -- ML-KEM-512
z: CD119AFDC8559442424A87C13EA101E29FCA11881869077E4092E751BEDCA8BC
d: CD119AFDC8559442424A87C13EA101E29FCA11881869077E4092E751BEDCA8BC

rho: B9B477C70E6C46586B1CCEBE87BCF6DF03C2B27CB09FA03F63160958383BE636
sigma: AC0901D990F43DD3FBC28234B27082414B64B340950CB71059DC2EE2712BF19C

aHat: [[[874, 2151, 1834, 1833, 1123, 1560, 1623, 2685, 2968, 1755, 479, 522, 3279, 3134, 2578, 1373, 1613, 1975, 2734, 2886, 2848, 2425, 3302, 1229, 35, 2238, 1168, 1710, 2456, 109, 2249, 2281, 856, 98, 2411, 1748, 646, 2423, 1182, 501, 2636, 3290, 2232, 2204, 1912, 553, 1609, 2800, 1034, 2472, 1002, 2938, 1255, 1057, 2987, 2203, 1005, 3160, 136, 1693, 2708, 2228, 3141, 2666, 1886, 2059, 3154, 724, 456, 2863, 1913, 2237, 1847, 665, 2204, 1641, 791, 3068, 756, 81, 709, 2728, 2207, 1650, 1620, 2345, 854, 2044, 3255, 1014, 1710, 695, 2732, 1558, 1211, 527, 2351, 684, 1557, 655, 2771, 1658, 1508, 3022, 2189, 2389, 698, 365, 517, 1479, 2069, 211, 2498, 303, 195, 2883, 1279, 2888, 1430, 542, 1408, 2098, 1702, 1521, 165, 1755, 2634, 2979, 517, 878, 2569, 1750, 2099, 3296, 2834, 2898, 1754, 3182, 2974, 1779, 906, 2264, 3227, 523, 2593, 124, 590, 1108, 1741, 1521, 2489, 510, 1081, 1153, 531, 117, 866, 443, 347, 2026, 17, 241, 1803, 2857, 1806, 3317, 2301, 32, 2694, 2336, 1767, 832, 2127, 2642, 447, 231, 1849, 561, 3131, 133, 2619, 1571, 1669, 81, 2340, 2208, 2989, 949, 2962, 48, 2159, 1060, 977, 801, 1283, 564, 2120, 1236, 1824, 2651, 1362, 834, 2749, 1383, 991, 196, 2701, 3234, 1294, 888, 998, 679, 1821, 666, 2277, 2962, 2453, 2188, 807, 2175, 2682, 1058, 2254, 849, 1796, 2731, 568, 858, 2107, 2649, 715, 2217, 2404, 73, 821, 24, 1050, 1367, 356, 2395, 2238, 1378, 1125, 258, 2965, 917, 1166, 2616, 620, 1385, 1126, 1895, 864, 2923, 2356, 671],
[3311, 1836, 162, 1739, 606, 1712, 627, 1758, 1002, 3101, 946, 1310, 2995, 1857, 2569, 2796, 1743, 1146, 3210, 168, 94, 1700, 628, 3077, 1949, 1668, 1601, 1698, 835, 814, 2372, 1960, 1896, 1507, 1715, 1590, 1310, 1269, 1591, 2109, 3041, 4, 1484, 779, 341, 1192, 3099, 1440, 931, 2552, 2114, 2837, 1259, 3039, 3312, 1146, 1360, 2275, 1836, 789, 1545, 1665, 2107, 145, 1914, 2633, 1890, 2732, 2083, 75, 2826, 2165, 2518, 1587, 1961, 349, 2697, 1315, 69, 3259, 1570, 447, 587, 2759, 3091, 525, 2125, 2702, 178, 1374, 633, 3177, 2760, 2028, 3214, 3275, 2911, 3019, 3032, 79, 2180, 2971, 974, 941, 3024, 873, 506, 1825, 2951, 3030, 3065, 1523, 30, 2625, 1916, 959, 43, 1866, 3188, 2534, 316, 1647, 2692, 2318, 1881, 1579, 324, 73, 2897, 1170, 673, 1402, 1377, 2819, 2723, 1685, 123, 1814, 2583, 986, 2878, 542, 1762, 1513, 1639, 1309, 3325, 1432, 1284, 2587, 2444, 1861, 2898, 1994, 1878, 2072, 1689, 501, 2896, 102, 2572, 1928, 3125, 1480, 1420, 286, 1988, 2536, 132, 1335, 1795, 420, 1503, 623, 1228, 2807, 2741, 2155, 80, 2800, 2546, 661, 1914, 2439, 1421, 1650, 535, 3059, 982, 1519, 635, 5, 1519, 643, 2693, 2774, 1813, 1940, 3021, 384, 1287, 2782, 114, 2365, 2690, 1973, 289, 356, 123, 1710, 2328, 2540, 2418, 3259, 2268, 1529, 2479, 1824, 483, 260, 786, 89, 1767, 2085, 56, 3052, 3155, 2485, 925, 1483, 2331, 1902, 2798, 2526, 1532, 2792, 694, 3039, 1848, 3173, 1998, 552, 1978, 2634, 2084, 217, 992, 139, 407, 365, 274, 1279, 1682, 782, 2133, 2292]],
[[704, 1581, 1782, 3300, 319, 2966, 3229, 425, 636, 465, 2507, 2501, 599, 2768, 2663, 1274, 2799, 1206, 2202, 1994, 312, 1774, 3064, 2777, 582, 1277, 1448, 2237, 1577, 1039, 1440, 2351, 1103, 1239, 1957, 3022, 163, 64, 845, 1905, 94, 2267, 1063, 2277, 2053, 2900, 1759, 2027, 614, 2596, 1196, 633, 1624, 2855, 2133, 434, 459, 579, 213, 573, 804, 1256, 2377, 3263, 646, 1464, 2950, 1846, 2594, 2737, 746, 1866, 2663, 1472, 151, 2479, 2680, 1863, 2361, 2532, 607, 1070, 2194, 275, 514, 242, 2025, 1254, 3147, 2015, 2301, 594, 794, 1753, 2774, 1728, 470, 1067, 916, 2934, 412, 3062, 1254, 2672, 2712, 2972, 1068, 2144, 2791, 3262, 1345, 774, 2646, 1092, 1905, 3148, 228, 517, 1634, 2077, 2564, 1485, 1116, 2445, 2830, 1978, 971, 165, 742, 1118, 1262, 276, 3221, 319, 1708, 1129, 2544, 1548, 2239, 1855, 1386, 1718, 1449, 1424, 1765, 1483, 1748, 361, 1434, 339, 1651, 790, 401, 2347, 1058, 588, 3088, 1579, 326, 1413, 3050, 3161, 3086, 1880, 253, 1307, 1630, 1074, 1664, 2738, 396, 1987, 714, 1243, 651, 261, 173, 741, 2760, 318, 198, 2501, 2361, 1523, 3066, 2218, 36, 354, 1117, 330, 2148, 517, 1221, 3152, 1845, 1099, 1897, 3159, 3008, 79, 542, 1244, 2627, 2347, 2259, 884, 1088, 74, 652, 408, 3248, 2727, 376, 2805, 2253, 1925, 339, 1447, 1973, 120, 2949, 2273, 1850, 1528, 2211, 2211, 2411, 1920, 2173, 2688, 2943, 2864, 2904, 508, 1412, 1454, 687, 541, 2408, 3258, 795, 3013, 1824, 330, 1047, 1375, 469, 41, 3100, 2334, 1321, 1654, 1849, 2078, 909, 374],
[206, 3093, 1216, 1950, 1396, 3065, 1119, 3323, 2732, 1581, 70, 2075, 1035, 658, 354, 777, 1357, 650, 2033, 2517, 896, 2303, 3237, 186, 2106, 2128, 596, 3180, 1400, 2980, 495, 2122, 843, 339, 261, 315, 841, 2221, 2768, 2702, 1567, 218, 2327, 1797, 1780, 1334, 490, 2946, 592, 2803, 804, 348, 3227, 1956, 885, 3316, 20, 2295, 2938, 1893, 2630, 1058, 2222, 2449, 1682, 1110, 1651, 2703, 1651, 89, 2228, 2831, 2312, 2897, 999, 2236, 3085, 220, 2765, 3270, 2998, 1891, 2798, 3083, 2197, 1517, 1253, 1666, 1681, 3101, 2775, 1721, 600, 2112, 387, 284, 468, 1330, 1440, 1938, 2252, 2404, 698, 2402, 1883, 2558, 1112, 706, 1007, 2571, 2375, 408, 565, 2839, 1182, 1976, 817, 920, 2775, 580, 437, 3071, 2833, 711, 200, 1973, 1621, 3198, 3065, 128, 1765, 208, 2197, 3151, 2237, 706, 229, 2769, 1253, 3268, 507, 1662, 748, 2455, 1707, 2980, 2562, 1470, 33, 1591, 1455, 2926, 1047, 2430, 50, 217, 430, 727, 3182, 2318, 2416, 1565, 2153, 2128, 3106, 2065, 1435, 1245, 1012, 1932, 339, 1886, 3281, 764, 1224, 2563, 749, 2787, 21, 536, 2171, 1779, 392, 1624, 1824, 45, 1676, 276, 3251, 2499, 330, 2474, 1113, 239, 1247, 1242, 2332, 1877, 2354, 2776, 1236, 3186, 1896, 2231, 1648, 397, 2655, 753, 1402, 3278, 1426, 2605, 426, 2943, 1831, 3009, 1896, 2127, 1823, 1368, 559, 1859, 84, 3240, 599, 882, 1729, 244, 2235, 317, 1229, 2630, 2312, 2969, 2388, 2336, 3299, 3151, 1772, 1745, 2530, 494, 2589, 3316, 2421, 1328, 309, 2978, 569, 470, 604, 1655, 2522, 2450, 2711, 2823]]]

s: [[1, 3328, 3327, 1, 1, 1, 3328, 3328, 2, 3328, 0, 2, 0, 1, 3328, 0, 0, 3327, 2, 0, 0, 3, 3327, 3328, 3328, 3327, 3326, 0, 3327, 0, 1, 3328, 0, 0, 0, 2, 0, 0, 0, 0, 3, 1, 0, 1, 1, 3328, 1, 3327, 1, 1, 3328, 3328, 3327, 3328, 0, 3328, 1, 0, 0, 0, 0, 0, 0, 3328, 1, 3327, 3328, 0, 1, 1, 0, 1, 0, 0, 0, 3328, 1, 0, 3327, 2, 3327, 0, 0, 3328, 0, 3328, 0, 1, 1, 3328, 3328, 1, 1, 3328, 2, 1, 0, 0, 1, 0, 3328, 0, 1, 3328, 3328, 1, 3327, 3327, 0, 3328, 3327, 1, 2, 0, 2, 3328, 3328, 0, 3328, 0, 1, 3328, 1, 2, 0, 3328, 0, 3328, 3, 2, 2, 1, 0, 0, 1, 3328, 0, 3328, 3328, 1, 3327, 1, 0, 2, 3327, 2, 0, 0, 0, 0, 0, 3327, 0, 0, 3328, 0, 1, 3328, 0, 3327, 3327, 1, 3328, 0, 0, 0, 0, 3328, 0, 3328, 1, 2, 3328, 0, 0, 3328, 1, 3328, 0, 0, 3326, 3328, 1, 1, 1, 3328, 3328, 3328, 1, 2, 3327, 0, 3328, 3327, 3328, 1, 1, 0, 3327, 3328, 2, 0, 0, 3328, 0, 3, 0, 3327, 0, 1, 0, 1, 0, 3326, 0, 1, 0, 3328, 0, 3328, 3328, 1, 0, 3328, 3326, 0, 3328, 0, 0, 1, 0, 3328, 0, 3328, 0, 3327, 3328, 0, 1, 1, 0, 0, 1, 0, 0, 3328, 0, 1, 1, 0, 0, 2, 1, 2, 2, 3326],
[2, 0, 3327, 2, 2, 0, 0, 1, 3328, 2, 3327, 3328, 3328, 1, 0, 3328, 3328, 3328, 0, 3328, 3328, 3327, 0, 3327, 0, 1, 0, 3328, 3327, 0, 3328, 1, 0, 1, 3328, 0, 2, 3326, 0, 1, 2, 3328, 3327, 0, 3328, 0, 0, 3328, 3327, 1, 3328, 2, 0, 0, 3328, 3328, 1, 2, 1, 0, 1, 0, 0, 0, 1, 1, 3328, 3327, 3328, 1, 3328, 3328, 3327, 3327, 1, 2, 0, 3328, 3328, 1, 0, 1, 3328, 3327, 0, 0, 0, 0, 2, 1, 0, 0, 3328, 0, 1, 3327, 0, 0, 0, 0, 1, 3328, 1, 3328, 3328, 3328, 0, 2, 3327, 1, 3328, 0, 0, 3327, 0, 1, 1, 0, 3327, 0, 2, 1, 3328, 1, 3328, 0, 1, 3328, 1, 3328, 0, 0, 3328, 1, 1, 3328, 3328, 0, 2, 3328, 1, 0, 3328, 3328, 0, 0, 3, 3, 1, 3328, 3328, 1, 0, 3327, 0, 0, 3328, 3328, 0, 0, 3328, 1, 3328, 3328, 3327, 3328, 3328, 0, 0, 0, 0, 3328, 3328, 1, 3328, 1, 0, 0, 0, 3328, 3328, 3328, 2, 3327, 0, 3327, 1, 3328, 3328, 3327, 3327, 0, 3326, 0, 3327, 0, 3328, 0, 3328, 0, 1, 3327, 3328, 1, 0, 3328, 3328, 0, 3326, 3327, 0, 0, 1, 1, 0, 1, 3328, 0, 1, 3327, 1, 3327, 3328, 0, 3, 2, 3328, 0, 0, 0, 2, 3328, 1, 1, 0, 1, 3328, 0, 2, 0, 0, 0, 1, 0, 0, 3327, 2, 1, 0, 3328, 0, 2, 3328, 0, 2, 0]]

e: [[1, 0, 1, 0, 3328, 1, 1, 0, 1, 3327, 3328, 2, 0, 3326, 1, 1, 3328, 0, 1, 2, 1, 3328, 3328, 3327, 3326, 3327, 3328, 2, 3328, 0, 1, 2, 3326, 2, 3326, 2, 3327, 3327, 1, 2, 3328, 0, 1, 3328, 3328, 0, 0, 0, 0, 0, 1, 1, 3328, 3328, 0, 3328, 0, 1, 3328, 3328, 3327, 1, 0, 0, 1, 1, 0, 3328, 2, 3, 2, 3328, 1, 3327, 3328, 2, 0, 1, 3326, 3328, 3328, 1, 1, 3326, 3328, 1, 1, 0, 0, 3, 1, 0, 3328, 3, 3328, 3, 3328, 3328, 3328, 1, 3327, 3327, 0, 1, 3328, 1, 3327, 1, 3328, 0, 0, 1, 3328, 0, 3327, 3327, 3327, 3328, 1, 3326, 1, 1, 0, 0, 0, 2, 2, 1, 3328, 3328, 0, 0, 0, 0, 1, 3327, 0, 0, 3328, 1, 0, 3327, 2, 3328, 3326, 0, 1, 0, 3328, 3328, 1, 3328, 0, 0, 3328, 2, 3328, 2, 3328, 3328, 2, 3328, 1, 1, 0, 2, 2, 3328, 1, 0, 2, 0, 0, 0, 2, 3328, 3327, 2, 3328, 3328, 0, 2, 0, 3328, 3328, 3327, 0, 1, 0, 3327, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 3328, 1, 0, 0, 3327, 3328, 1, 3328, 1, 0, 0, 1, 3328, 0, 3327, 0, 1, 0, 0, 1, 3328, 2, 1, 1, 3328, 0, 0, 0, 3328, 0, 0, 3328, 3328, 0, 0, 3327, 0, 3327, 1, 1, 3328, 0, 0, 0, 0, 0, 0, 1, 2, 3328, 3, 1, 3327, 3327],
[0, 1, 3328, 1, 3327, 3, 0, 1, 0, 2, 0, 3327, 1, 3328, 1, 0, 1, 3327, 2, 0, 0, 0, 0, 0, 1, 1, 3328, 1, 2, 1, 2, 3328, 0, 0, 0, 1, 1, 2, 3328, 0, 3327, 1, 3328, 3, 3328, 0, 3328, 0, 1, 3328, 3328, 0, 2, 0, 3328, 1, 2, 0, 0, 3328, 1, 1, 3328, 1, 0, 1, 1, 1, 0, 0, 0, 3327, 0, 3328, 3327, 0, 0, 3328, 3327, 0, 3328, 1, 0, 0, 1, 0, 0, 3328, 3327, 0, 0, 3328, 1, 0, 1, 1, 3327, 3327, 0, 3328, 3328, 3328, 2, 0, 0, 0, 3328, 3328, 0, 0, 1, 0, 0, 0, 3328, 0, 0, 3327, 1, 3327, 3328, 0, 3328, 0, 0, 3328, 0, 3328, 3328, 1, 1, 1, 0, 1, 3327, 0, 3328, 0, 0, 1, 0, 3328, 3328, 0, 3328, 3327, 3327, 1, 3328, 2, 0, 2, 3328, 2, 0, 0, 3327, 2, 1, 1, 3328, 1, 3327, 2, 3328, 0, 3327, 3328, 3327, 1, 0, 0, 3327, 3328, 3328, 3328, 1, 3327, 3328, 0, 1, 3327, 1, 3328, 0, 3328, 3328, 3328, 0, 3328, 0, 3328, 2, 1, 0, 0, 3328, 3328, 0, 3328, 0, 3327, 1, 3328, 0, 1, 0, 0, 3328, 3328, 3327, 0, 0, 0, 0, 3328, 0, 0, 3, 0, 0, 3327, 0, 3328, 2, 1, 1, 0, 0, 0, 2, 1, 0, 0, 0, 1, 3328, 3328, 1, 1, 0, 2, 0, 3326, 0, 0, 3327, 0, 1, 1, 0, 2, 1, 3327, 3328, 3328]]

sHat: [[3127, 1150, 382, 1970, 251, 900, 1356, 232, 337, 2108, 2161, 3029, 956, 2610, 536, 3011, 2341, 444, 305, 1090, 1098, 1341, 823, 2979, 2047, 3232, 2945, 1607, 2738, 1068, 2713, 618, 3141, 2980, 1531, 2915, 427, 398, 1116, 1995, 1612, 429, 1017, 2104, 452, 1208, 2848, 2170, 3156, 1311, 847, 114, 1089, 3121, 2277, 266, 932, 2949, 2645, 2042, 19, 3185, 2891, 16, 2789, 2858, 488, 1847, 3215, 634, 1926, 2572, 2909, 950, 50, 1290, 3024, 559, 1593, 3221, 92, 3114, 1473, 1053, 1876, 1978, 2003, 883, 2724, 9, 357, 1069, 2634, 2978, 765, 2725, 3219, 2436, 772, 2345, 8, 1487, 3023, 2232, 1664, 792, 2414, 1072, 1952, 264, 3152, 2320, 2954, 530, 1933, 2947, 602, 2062, 2850, 28, 2868, 1183, 1269, 1500, 920, 3085, 1355, 1447, 2144, 72, 1570, 2278, 43, 435, 1304, 413, 2381, 2334, 1458, 3062, 2452, 2022, 2922, 2068, 2128, 2956, 850, 912, 789, 1510, 1584, 1462, 474, 2322, 1498, 90, 980, 1091, 2557, 3218, 508, 3164, 2311, 470, 2887, 1557, 1148, 2297, 1228, 2840, 2736, 456, 3171, 1000, 2067, 197, 2531, 1925, 2202, 1545, 1765, 2500, 1223, 2821, 910, 1022, 265, 3026, 1519, 2705, 1542, 2553, 1325, 1964, 2085, 206, 1252, 1532, 17, 1198, 2641, 2825, 2955, 2345, 2684, 307, 416, 3320, 506, 241, 3244, 1516, 653, 2380, 1941, 2233, 853, 261, 1869, 932, 2327, 389, 2989, 1349, 2951, 2667, 663, 2785, 1683, 351, 2758, 2256, 2872, 3303, 1343, 486, 2134, 168, 2898, 722, 952, 1302, 1738, 1499, 1043, 1691, 61, 2859, 2504, 864, 506, 3309, 615, 1513, 1899, 3099],
[1040, 1004, 1155, 2002, 34, 2262, 140, 561, 3139, 2913, 146, 2633, 2552, 1434, 315, 591, 797, 1991, 268, 1757, 2933, 1294, 1222, 712, 736, 474, 2510, 1028, 566, 1224, 742, 1315, 745, 1523, 1797, 843, 2885, 290, 657, 2835, 2198, 1184, 2103, 3000, 689, 175, 567, 3117, 2483, 239, 1805, 2605, 2420, 2844, 169, 751, 1991, 542, 1268, 986, 2624, 601, 2555, 2476, 1092, 1901, 1841, 3184, 647, 150, 1601, 487, 3284, 2360, 1065, 2978, 2402, 2144, 1999, 1954, 1827, 452, 891, 817, 829, 1737, 1037, 2541, 783, 1231, 2979, 2090, 1076, 684, 1259, 1438, 710, 81, 1835, 361, 3049, 518, 1982, 396, 18, 1030, 2473, 496, 2411, 1098, 1375, 2052, 2922, 1774, 1592, 1809, 3087, 3063, 493, 17, 582, 2113, 1757, 697, 635, 65, 2684, 160, 2704, 86, 1161, 2715, 1700, 1122, 2715, 925, 2374, 416, 2871, 405, 2386, 458, 3107, 241, 1510, 2043, 2428, 2028, 254, 3021, 272, 864, 888, 3042, 1560, 776, 2699, 531, 2885, 2018, 69, 1637, 3185, 3273, 1770, 2687, 3110, 559, 956, 2456, 3061, 3060, 1994, 3247, 2659, 1851, 3095, 1955, 424, 2470, 2111, 1476, 830, 67, 33, 1648, 1126, 1783, 1614, 1631, 1086, 228, 3164, 1437, 83, 388, 707, 3077, 2083, 1221, 1979, 1251, 2487, 2938, 2179, 806, 958, 2805, 2599, 98, 1431, 3301, 559, 2511, 984, 2379, 1221, 546, 1971, 228, 295, 1524, 833, 2427, 2387, 1429, 241, 6, 1339, 708, 1780, 2425, 1463, 874, 1417, 696, 3262, 3318, 1247, 187, 2376, 814, 397, 350, 34, 2637, 305, 347, 165, 3116, 244, 2003, 664, 3078, 3037, 1025]]
eHat: [[522, 1963, 2339, 1049, 383, 728, 639, 1380, 2621, 1800, 108, 2626, 634, 1542, 1849, 2631, 2057, 2926, 497, 1024, 565, 1356, 2933, 794, 318, 3186, 2569, 993, 2342, 739, 2976, 3282, 3032, 614, 16, 1012, 786, 1595, 196, 15, 2915, 1049, 2749, 1800, 1800, 2324, 3241, 3304, 1155, 2244, 1769, 2734, 3169, 3178, 601, 2361, 555, 2812, 2264, 759, 875, 542, 2092, 2831, 215, 413, 1225, 1877, 1896, 2264, 2780, 634, 1826, 2287, 1868, 1290, 234, 710, 2712, 2357, 1067, 1119, 1206, 2304, 183, 1410, 1768, 746, 65, 440, 1037, 2510, 3325, 1563, 1922, 2168, 1858, 1235, 196, 1795, 1950, 1141, 886, 2853, 3304, 2031, 1706, 2689, 3312, 2787, 3313, 1111, 3282, 205, 1245, 2005, 2284, 1949, 3225, 677, 314, 3257, 1812, 3316, 2891, 2844, 319, 1207, 826, 1901, 2413, 1690, 3215, 1750, 173, 1810, 1593, 1712, 1216, 2008, 3036, 404, 2263, 1792, 1185, 3043, 2914, 833, 1165, 717, 1122, 1198, 1764, 2877, 2924, 815, 548, 2566, 1423, 2030, 535, 913, 1190, 589, 3046, 1151, 445, 2512, 2388, 3097, 1571, 1220, 1915, 3117, 114, 3107, 64, 174, 1921, 908, 275, 1711, 2969, 1215, 2424, 1707, 3059, 2024, 2928, 3214, 1456, 243, 2870, 1789, 1505, 2588, 2603, 2617, 3309, 2012, 156, 2381, 2128, 3147, 2309, 871, 2153, 3153, 3160, 749, 807, 1840, 984, 876, 245, 94, 1118, 1698, 1691, 1317, 213, 59, 1997, 2128, 2415, 2561, 1121, 2771, 2243, 1712, 129, 2363, 2232, 79, 1043, 1351, 733, 1938, 39, 2265, 2798, 1649, 2423, 2892, 1116, 2102, 2354, 1351, 1280, 1952, 519, 1486, 3181, 1942, 2437, 875],
[1744, 65, 540, 293, 2235, 2869, 395, 195, 83, 89, 2366, 631, 50, 426, 3199, 1907, 538, 644, 488, 2131, 464, 1969, 2439, 3121, 2213, 3302, 828, 1346, 2442, 2660, 596, 2958, 1917, 1177, 1398, 421, 3194, 1342, 1305, 2364, 1478, 2589, 1094, 555, 1316, 2753, 887, 3000, 1232, 1322, 627, 303, 421, 2032, 1001, 1328, 2856, 834, 2074, 1789, 1275, 2949, 2616, 722, 2763, 581, 74, 1768, 1669, 498, 1515, 533, 117, 358, 2153, 2987, 1524, 443, 225, 1568, 2600, 1429, 274, 2060, 1899, 1735, 1973, 1804, 2735, 419, 3305, 535, 767, 128, 239, 2055, 3257, 901, 3260, 1816, 853, 2397, 2657, 1576, 3207, 406, 1248, 1743, 816, 1842, 2258, 760, 332, 680, 1648, 1286, 1550, 1901, 476, 1134, 1500, 496, 742, 2744, 527, 1463, 2268, 614, 1007, 941, 756, 749, 2518, 1085, 683, 3020, 1473, 3147, 1002, 2834, 3030, 1384, 1012, 1311, 2789, 2302, 1744, 719, 2852, 955, 2699, 442, 494, 2390, 658, 411, 971, 1910, 1739, 539, 243, 3213, 2858, 117, 1723, 84, 1883, 591, 2856, 1185, 2782, 2394, 625, 428, 487, 1156, 2619, 2041, 1354, 1233, 30, 148, 2611, 2197, 88, 439, 3262, 3215, 1344, 1842, 477, 1536, 945, 1503, 506, 2115, 1709, 3191, 3133, 1956, 1262, 1948, 2944, 1456, 1393, 2697, 1491, 667, 1941, 3058, 1087, 2870, 51, 141, 232, 1503, 1838, 1816, 2519, 2632, 1939, 1552, 2752, 1677, 1687, 2481, 1299, 1732, 3052, 1015, 1926, 479, 1969, 1999, 2080, 1209, 96, 2246, 2278, 2613, 1020, 132, 1465, 554, 2822, 927, 1808, 3031, 2614, 1438, 1706, 2851, 2059, 2839, 3035, 178]]
aHat * sHat: [[2236, 1835, 2939, 1371, 1272, 1590, 3036, 1269, 1935, 2891, 2736, 1191, 216, 1652, 2371, 1488, 1078, 2642, 1383, 1041, 1821, 1305, 1849, 1617, 2823, 1356, 1705, 755, 2604, 3276, 2410, 885, 1240, 1294, 21, 2125, 219, 2965, 2586, 1441, 757, 67, 2602, 1456, 3200, 1758, 3160, 554, 2631, 122, 1890, 1023, 2127, 401, 2976, 2809, 2812, 57, 1107, 2957, 572, 2991, 2988, 2437, 395, 2789, 2787, 1876, 2347, 784, 1089, 2771, 1954, 2641, 1217, 1977, 2545, 1754, 2470, 2333, 2561, 298, 522, 2279, 2470, 1989, 968, 133, 1437, 1708, 541, 102, 1442, 865, 2093, 956, 2512, 1529, 2398, 33, 2105, 202, 3142, 1329, 784, 923, 2311, 1887, 1572, 20, 1896, 17, 3106, 2078, 38, 1442, 1436, 1289, 1057, 1955, 2156, 1106, 655, 2442, 3002, 2780, 1527, 2916, 942, 2749, 1738, 290, 356, 1707, 386, 1991, 401, 1976, 4, 700, 47, 938, 560, 1188, 2488, 1098, 2910, 1770, 2848, 2593, 1639, 428, 1450, 750, 198, 2429, 3097, 2723, 2308, 1711, 837, 2159, 571, 1008, 954, 1630, 40, 2356, 3114, 2460, 337, 3255, 2645, 2259, 3160, 2451, 737, 3064, 2691, 208, 3291, 2419, 1248, 2310, 1513, 2529, 2600, 2361, 784, 896, 1096, 2818, 2344, 110, 1017, 2229, 2976, 781, 1038, 810, 2107, 2993, 1626, 1658, 621, 440, 542, 2610, 1864, 983, 2161, 1348, 1396, 2070, 3183, 308, 108, 1823, 2562, 197, 3150, 2203, 1502, 2056, 1548, 573, 3149, 2150, 348, 1995, 2509, 917, 829, 2990, 553, 872, 808, 2746, 1555, 1683, 3233, 2977, 1850, 1150, 2236, 1398, 1250, 1504, 2779, 2428, 2290, 2917, 1427, 2774, 3148, 2335],
[950, 2207, 1036, 133, 1127, 2447, 1077, 1553, 1105, 569, 455, 3174, 2827, 2598, 3075, 376, 712, 1987, 1108, 996, 3137, 415, 654, 3311, 2716, 2015, 1015, 2178, 1021, 2949, 886, 2653, 446, 3090, 2231, 1884, 3277, 2452, 2530, 1734, 2139, 403, 2149, 2281, 3264, 1318, 2177, 949, 1632, 223, 2271, 2804, 1395, 792, 1430, 920, 1214, 1828, 3249, 490, 165, 461, 1614, 1199, 2820, 2421, 53, 756, 3213, 3272, 897, 1248, 1054, 319, 2353, 2486, 2139, 3089, 1775, 1819, 3252, 773, 1295, 1693, 1565, 2981, 1181, 9, 1530, 945, 1110, 2800, 376, 759, 3034, 1214, 1480, 2371, 1873, 188, 1809, 2025, 1049, 936, 1222, 663, 1559, 2550, 936, 703, 1649, 2190, 2523, 809, 234, 1920, 2228, 1850, 2514, 3178, 2858, 2579, 1183, 946, 3055, 1544, 2189, 1699, 2470, 767, 39, 2474, 724, 1940, 3145, 1656, 1917, 228, 2495, 2283, 2495, 694, 2070, 1558, 1423, 1659, 117, 3135, 68, 440, 1982, 2221, 632, 2692, 880, 1790, 1908, 2845, 286, 613, 2970, 2236, 1632, 1752, 798, 2478, 3328, 406, 2479, 3318, 806, 237, 764, 952, 1252, 1063, 3184, 1230, 244, 395, 790, 1245, 1338, 77, 2527, 3219, 270, 3051, 1143, 1924, 1340, 1498, 2695, 1643, 1753, 2645, 2269, 540, 3080, 862, 1227, 1039, 3048, 2828, 2128, 3029, 2038, 301, 598, 2237, 1984, 907, 1250, 1782, 3258, 1780, 83, 1501, 3230, 1822, 2864, 287, 429, 1933, 2961, 2723, 2622, 593, 1609, 2960, 1128, 2273, 1107, 1224, 2149, 1020, 2871, 501, 2071, 2120, 1248, 2583, 726, 849, 1988, 3134, 267, 1953, 19, 126, 1247, 624, 362, 2547, 376, 2142]]
tHat = aHat * sHat + eHat: [[2758, 469, 1949, 2420, 1655, 2318, 346, 2649, 1227, 1362, 2844, 488, 850, 3194, 891, 790, 3135, 2239, 1880, 2065, 2386, 2661, 1453, 2411, 3141, 1213, 945, 1748, 1617, 686, 2057, 838, 943, 1908, 37, 3137, 1005, 1231, 2782, 1456, 343, 1116, 2022, 3256, 1671, 753, 3072, 529, 457, 2366, 330, 428, 1967, 250, 248, 1841, 38, 2869, 42, 387, 1447, 204, 1751, 1939, 610, 3202, 683, 424, 914, 3048, 540, 76, 451, 1599, 3085, 3267, 2779, 2464, 1853, 1361, 299, 1417, 1728, 1254, 2653, 70, 2736, 879, 1502, 2148, 1578, 2612, 1438, 2428, 686, 3124, 1041, 2764, 2594, 1828, 726, 1343, 699, 853, 759, 2954, 688, 1247, 1555, 2807, 1880, 1128, 3059, 2283, 1283, 118, 391, 3238, 953, 2632, 2470, 1034, 2467, 2429, 2564, 2295, 1846, 794, 1768, 1321, 822, 1980, 242, 128, 559, 472, 1994, 359, 1220, 2708, 3083, 1342, 2823, 2980, 344, 812, 2495, 2603, 684, 3310, 2761, 1626, 3214, 298, 3122, 3244, 316, 1960, 402, 412, 1372, 3072, 1761, 1597, 671, 2781, 485, 1539, 2173, 2228, 1908, 1146, 1231, 2047, 3274, 2229, 801, 3238, 1283, 1116, 237, 801, 888, 196, 608, 907, 2330, 1056, 383, 781, 2552, 3061, 1885, 1899, 2522, 1488, 2250, 69, 1018, 2822, 2263, 2045, 425, 1476, 2930, 1311, 2695, 2434, 1695, 1732, 2968, 3188, 2380, 2946, 99, 402, 1226, 192, 924, 1514, 34, 2262, 170, 855, 634, 3134, 941, 1592, 2591, 378, 2638, 3280, 3061, 3069, 1596, 2223, 1541, 1355, 1594, 619, 2702, 1297, 944, 713, 23, 171, 275, 2855, 730, 1051, 2809, 1074, 1279, 1387, 2256, 3210],
[2694, 2272, 1576, 426, 33, 1987, 1472, 1748, 1188, 658, 2821, 476, 2877, 3024, 2945, 2283, 1250, 2631, 1596, 3127, 272, 2384, 3093, 3103, 1600, 1988, 1843, 195, 134, 2280, 1482, 2282, 2363, 938, 300, 2305, 3142, 465, 506, 769, 288, 2992, 3243, 2836, 1251, 742, 3064, 620, 2864, 1545, 2898, 3107, 1816, 2824, 2431, 2248, 741, 2662, 1994, 2279, 1440, 81, 901, 1921, 2254, 3002, 127, 2524, 1553, 441, 2412, 1781, 1171, 677, 1177, 2144, 334, 203, 2000, 58, 2523, 2202, 1569, 424, 135, 1387, 3154, 1813, 936, 1364, 1086, 6, 1143, 887, 3273, 3269, 1408, 3272, 1804, 2004, 2662, 1093, 377, 2512, 1100, 1069, 2807, 964, 1752, 2545, 578, 2950, 2855, 1489, 1882, 3206, 449, 422, 2990, 983, 1029, 3075, 1925, 361, 253, 3007, 1128, 2313, 148, 1708, 795, 3223, 3242, 3025, 499, 1347, 61, 46, 168, 1788, 2196, 2078, 3082, 2869, 883, 632, 1861, 525, 2920, 1395, 1352, 2663, 1126, 1753, 1538, 2201, 2879, 1426, 2025, 1152, 3213, 2120, 1161, 1869, 2521, 2562, 1882, 997, 2006, 1174, 259, 2631, 1389, 1380, 1739, 2219, 2474, 3271, 1598, 1628, 820, 1393, 620, 2274, 2615, 329, 203, 2937, 2487, 437, 1817, 3034, 311, 3146, 2259, 1431, 649, 402, 2884, 2818, 2489, 2987, 2663, 955, 192, 2397, 200, 968, 2539, 1966, 3071, 448, 1301, 1923, 161, 3283, 1921, 3317, 2420, 1125, 1474, 1839, 3181, 281, 1319, 1875, 592, 2325, 1332, 646, 3054, 2752, 3076, 3223, 900, 2229, 2967, 2747, 1020, 1404, 2268, 2715, 2191, 1403, 1481, 732, 2075, 1655, 2633, 1564, 2953, 146, 2421, 2057, 82, 2320]]

ek: C65A1D9D479777E6905A91A5CB24551C8B1E52A3C77B63313FFC8B5817815259A6ADB59645DC4BB1436D51E62A096834AF43772510C4EDF34CDE0A5B57C145E687CB87162F001C21C9E1934AC11AAFA70FF810732650B32A3018A7C50CD736796222C8AB821A9283BE1CC204C3F1630D3CCCDB0A9A3D17552B9158C0664E5D6A04B0FA36DE45862A46A39EC597AE42C311C4AC224A72D6F253BB5235F7A2B8B0F24D1376AF588746F3BB8E0365078761CAB983A4A6A940A3D997047A8F36A731E8965236C37BF200082F821DCA7716C444A90BEC53074BBA58C132BFB9A2ACE2CEC9AA658EAC1232CCCA3C817A92C1195C05C0E1D6639FD2ADE531607D488B74A747CFF47FCA5C8B2163CA03C545ED103278430C60B2381A09427FD130F859BF5DB776DA095DCA5804FA63B0D7D87FA9415C72FB51872A989F466C984BC74C29B8632019CA040C9CA35E22608DAA70357AE2C3AD83631FAA174E0ACDF5DBBF3CF68A05B6543AB6268E1A51B0932C17B00A1371B2DAB241F92A43FFB456D0A8C8860A8E28A61A21307CC0456DA4242905CB1D3D0BBD81BB8EE274A43C76C310019515FCC140467C33370C86808ECAA58E3BA93A2C1190461C1DFA11302001BBAB4CB1E3642EF8CB26309B60523BC21887B07F898CE562A6CA778EA01505851378CEA8BB7FC09D11961B6C596F93542A9904864EB10CD0A703DBA98921861A87B056525C71A843553E6400777437C95CCC8085CC0C477D665A4479019D4CD442F74A3CD8169F4262B8271B5D5A67C8C1611AAE7B3D0534C0859716FDF0BB68949094C06A1B73C9AA1CBDF331543DE002A8C06F94E8810A5CB373832745D720683B574875A666946D0296893F2B59E907488D8C8489D474D929A05A573ED667490371A46D4556CBB68AAA79CC3EC6653413576C228E379A14CB90B7B7591B19A7BD37A1C4D37859892219442BB0B9B9BA67BA3BC0D095C8803CEBE97AFF0B1C153578A130CD8157CF745946C2F5726D9C11273575505291346528EE0BAC047CC984538B97BBABFCC357DCB8A98FB857C9C52D1B786749CA61892B09759980520091B9B477C70E6C46586B1CCEBE87BCF6DF03C2B27CB09FA03F63160958383BE636
dk: 37EC477E217BFB40384C850E51C1837158BDBC23A31832BC25C91B3121444AD4533733BAFF07CA817B64B2CA4299AA26454CBAFB35B6ABE1185CB47C4CD61AF98383C4814B20AB8754FC514F23074114C3E5A810A453B855AA7F1310C74B0B01E5AAB2E871738FAC2786C7A05D6B3B32A050D0FB223956C95CA0C2C1D54154A77BD33737A49A0065D1424A2ABAFD52AA934C9804939208F05CCF8B8B8086316E0943A08710500C918A2B218D37B85AE28022CB0134FB49F5C45D98D3C04B755A60880422668E2B301B18D5194DE991B265BF94697E6A4B8150C8B852033915635E30665BDA2191DAA505D43344FD29C9FCC1C507691D475B617C948FCC84B1B08A1C638C3E13580CE359789A9860E5469CC754B08EE33F0921BDEF15A906969F2DC57A25E80CE4C45F11E04A519AB08B9B927C3A13A081CFFA110FACCC5E8DC29495978B5553104D473A175918AD5B5487BBA69712AE93F615C60A8D387BCE3F651E56880A522B2DB86351CAB65D13B4693DB0B2C80936FAD1CE67925E6BB7C110C43E83247D22608D8C1023431CB69290A4F8A9593BF1241D737C0CD16D75EB50C6842CE0A21DCE494036824CE63252E9325F05B734452B129132B196084A3788BBB1F20A37D2C2B3F90E0DD7A274C9B1A9F02EC7E721F4A43D409A25FBC99A44D4763107C787620941761ED48C932924BA620986CF277A23471C7B13333D936C0DD49E0FF34CA3AB8234C42AEBE459C612052B9716E96B20BEC718126040A9091F6BA9445F45806AEB6E3816710F7CBFED1101461284DD962B7B12047C0A0A906A0589B4A9A426469BDA3946091A375B1952A91C231C0FE6B57F7CC97EFED0BC1001367823BE1886308B3A21452B7E455066719CCCEAF6A726FC22BC8399F54BBFCAF7CA63BA73173C7AA8619A3F485C3E330421006766746F4EF6653E440E5CDC59534018C352C023584CBB374EB7A9B7836832BE53AF272A069755CE2FF29CD8B394C52422B3470E27415F41B397535959F160003B452CF49697B7A53689852BBE6CCFDFB40B48E9328DE11522D0A431B115A5C0C2F4307D9862C0DD1B40C65A1D9D479777E6905A91A5CB24551C8B1E52A3C77B63313FFC8B5817815259A6ADB59645DC4BB1436D51E62A096834AF43772510C4EDF34CDE0A5B57C145E687CB87162F001C21C9E1934AC11AAFA70FF810732650B32A3018A7C50CD736796222C8AB821A9283BE1CC204C3F1630D3CCCDB0A9A3D17552B9158C0664E5D6A04B0FA36DE45862A46A39EC597AE42C311C4AC224A72D6F253BB5235F7A2B8B0F24D1376AF588746F3BB8E0365078761CAB983A4A6A940A3D997047A8F36A731E8965236C37BF200082F821DCA7716C444A90BEC53074BBA58C132BFB9A2ACE2CEC9AA658EAC1232CCCA3C817A92C1195C05C0E1D6639FD2ADE531607D488B74A747CFF47FCA5C8B2163CA03C545ED103278430C60B2381A09427FD130F859BF5DB776DA095DCA5804FA63B0D7D87FA9415C72FB51872A989F466C984BC74C29B8632019CA040C9CA35E22608DAA70357AE2C3AD83631FAA174E0ACDF5DBBF3CF68A05B6543AB6268E1A51B0932C17B00A1371B2DAB241F92A43FFB456D0A8C8860A8E28A61A21307CC0456DA4242905CB1D3D0BBD81BB8EE274A43C76C310019515FCC140467C33370C86808ECAA58E3BA93A2C1190461C1DFA11302001BBAB4CB1E3642EF8CB26309B60523BC21887B07F898CE562A6CA778EA01505851378CEA8BB7FC09D11961B6C596F93542A9904864EB10CD0A703DBA98921861A87B056525C71A843553E6400777437C95CCC8085CC0C477D665A4479019D4CD442F74A3CD8169F4262B8271B5D5A67C8C1611AAE7B3D0534C0859716FDF0BB68949094C06A1B73C9AA1CBDF331543DE002A8C06F94E8810A5CB373832745D720683B574875A666946D0296893F2B59E907488D8C8489D474D929A05A573ED667490371A46D4556CBB68AAA79CC3EC6653413576C228E379A14CB90B7B7591B19A7BD37A1C4D37859892219442BB0B9B9BA67BA3BC0D095C8803CEBE97AFF0B1C153578A130CD8157CF745946C2F5726D9C11273575505291346528EE0BAC047CC984538B97BBABFCC357DCB8A98FB857C9C52D1B786749CA61892B09759980520091B9B477C70E6C46586B1CCEBE87BCF6DF03C2B27CB09FA03F63160958383BE636C0ECC8DDAE8B594A14037868BEC0B22300DEFDFAA1D973AC5CEC84AE4386B8FBCD119AFDC8559442424A87C13EA101E29FCA11881869077E4092E751BEDCA8BC
